Safe Recursion on Notation into a Light Logic by Levels

We embed Safe Recursion on Notation (SRN) into Light Affine Logic by Levels (LALL), derived from the logic L4. LALL is an intuitionistic deductive system, with a polynomial time cut elimination strategy. The embedding allows to represent every term t of SRN as a family of proof nets |t|^l in LALL. Every proof net |t|^l in the family simulates t on arguments whose bit length is bounded by the integer l. The embedding is based on two crucial features. One is the recursive type in LALL that encodes Scott binary numerals, i.e. Scott words, as proof nets. Scott words represent the arguments of t in place of the more standard Church binary numerals. Also, the embedding exploits the "fuzzy" borders of paragraph boxes that LALL inherits from L4 to "freely" duplicate the arguments, especially the safe ones, of t. Finally, the type of |t|^l depends on the number of composition and recursion schemes used to define t, namely the structural complexity of t. Moreover, the size of |t|^l is a polynomial in l, whose degree depends on the structural complexity of t. So, this work makes closer both the predicative recursive theoretic principles SRN relies on, and the proof theoretic one, called /stratification/, at the base of Light Linear Logic

MYELOID MICROVESICLES ARE A MARKER AND THERAPEUTIC TARGET FOR NEUROINFLAMMATION

n/

Transplantation of clinical-grade human neural stem cells reduces neuroinflammation, prolongs survival and delays disease progression in the SOD1 rats.

Abstract Stem cells are emerging as a therapeutic option for incurable diseases, such as Amyotrophic Lateral Sclerosis (ALS). However, critical issues are related to their origin as well as to the need to deepen our knowledge of the therapeutic actions exerted by these cells. Here, we investigate the therapeutic potential of clinical-grade human neural stem cells (hNSCs) that have been successfully used in a recently concluded phase I clinical trial for ALS patients (NCT01640067). The hNSCs were transplanted bilaterally into the anterior horns of the lumbar spinal cord (four grafts each, segments L3–L4) of superoxide dismutase 1 G93A transgenic rats (SOD1 rats) at the symptomatic stage. Controls included untreated SOD1 rats (CTRL) and those treated with HBSS (HBSS). Motor symptoms and histological hallmarks of the disease were evaluated at three progressive time points: 15 and 40 days after transplant (DAT), and end stage. Animals were treated by transient immunosuppression (for 15 days, starting at time of transplantation). Under these conditions, hNSCs integrated extensively within the cord, differentiated into neural phenotypes and migrated rostro-caudally, up to 3.77 ± 0.63 cm from the injection site. The transplanted cells delayed decreases in body weight and deterioration of motor performance in the SOD1 rats. At 40DAT, the anterior horns at L3–L4 revealed a higher density of motoneurons and fewer activated astroglial and microglial cells. Accordingly, the overall survival of transplanted rats was significantly enhanced with no rejection of hNSCs observed. We demonstrated that the beneficial effects observed after stem cell transplantation arises from multiple events that counteract several aspects of the disease, a crucial feature for multifactorial diseases, such as ALS. The combination of therapeutic approaches that target different pathogenic mechanisms of the disorder, including pharmacology, molecular therapy and cell transplantation, will increase the chances of a clinically successful therapy for ALS

Lipomatosis Incidence and Characteristics in an Italian Cohort of Mitochondrial Patients.

Lipomas have often been associated with mtDNA mutations and were mainly observed in patients with mutation in mitochondrial tRNAlysine which is also the most frequent mutation associated with MERRF. Up to date, no systematic studies have been developed in order to assess the incidence of lipomas in large cohorts of mitochondrial patients.The aim of this study is to analyze the incidence and characteristics of lipomas among an Italian cohort of patients with mitochondrial diseases. A retrospective, database-based study (Nation-wide Italian Collaborative Network of Mitochondrial Diseases) of patients with lipomas was performed. A total of 22 (1.7%) patients with lipomas have been identified among the 1,300 mitochondrial patients, enrolled in the Italian database. In about 18% multiple systemic lipomatosis (MSL) was the only clinical manifestation; 54% of patients showed a classical MERRF syndrome. Myopathy, alone or in association with other symptoms, was found in 27% of patients. Lactate was elevated in all the 12 patients in which was measured. Muscle biopsy was available in 18/22 patients: in all of them mitochondrial abnormalities were present. Eighty six percent had mutations in mtDNA coding for tRNA lysine. In most of patients, lipomas were localized along the cervical-cranial-thoracic region. In 68% of the patients were distributed symmetrically. Only two patients had lipomas in a single anatomical site (1 in right arm and 1 in gluteus maximum). MSL is often overlooked by clinicians in patients with mitochondrial diseases where the clinical picture could be dominated by a severe multi-systemic involvement. Our data confirmed that MSL is a rare sign of mitochondrial disease with a strong association between multiple lipomas and lysine tRNA mutations. MSL could be considered, even if rare, a red flag for mitochondrial disorders, even in patients with an apparently isolated MSL

Altered Resting State in Diabetic Neuropathic Pain

BACKGROUND: The spontaneous component of neuropathic pain (NP) has not been explored sufficiently with neuroimaging techniques, given the difficulty to coax out the brain components that sustain background ongoing pain. Here, we address for the first time the correlates of this component in an fMRI study of a group of eight patients suffering from diabetic neuropathic pain and eight healthy control subjects. Specifically, we studied the functional connectivity that is associated with spontaneous neuropathic pain with spatial independent component analysis (sICA). PRINCIPAL FINDINGS: Functional connectivity analyses revealed a cortical network consisting of two anti-correlated patterns: one includes the left fusiform gyrus, the left lingual gyrus, the left inferior temporal gyrus, the right inferior occipital gyrus, the dorsal anterior cingulate cortex bilaterally, the pre and postcentral gyrus bilaterally, in which its activity is correlated negatively with pain and positively with the controls; the other includes the left precuneus, dorsolateral prefrontal, frontopolar cortex (both bilaterally), right superior frontal gyrus, left inferior frontal gyrus, thalami, both insulae, inferior parietal lobuli, right mammillary body, and a small area in the left brainstem, in which its activity is correlated positively with pain and negatively with the controls. Furthermore, a power spectra analyses revealed group differences in the frequency bands wherein the sICA signal was decomposed: patients' spectra are shifted towards higher frequencies. CONCLUSION: In conclusion, we have characterized here for the first time a functional network of brain areas that mark the spontaneous component of NP. Pain is the result of aberrant default mode functional connectivity